Sobre la complejidad de tamaño y la decidibilidad de la progresión de primer orden
<meta name=description content=Análisis de la complejidad de tamaño y decidibilidad en progresiones de primer orden. Conceptos clave de lógica matemática y teoría de la computación para entender su impacto teórico.>